Horizontal diameter of unit spheres with polar foliations and infinitesimally polar actions

For a singular Riemannian foliation [Formula: see text] on manifold, curve is called horizontal if it meets the leaves of perpendicularly. unit sphere text], we show that polar or given by orbits an infinitesimally action, then diameter i.e. any two points in can be connected length text].